How to ping multiple servers using batch script file